Merge branch 'master-disable-introspection' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Wed, 6 May 2020 19:24:58 +0000 (19:24 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 6 May 2020 19:24:58 +0000 (19:24 +0000)
CI: disable introspection with mingw to avoid flaky builds

See merge request GNOME/gtk!1848


Trivial merge